Low-Effort Specification Debugging and Analysis
نویسندگان
چکیده
منابع مشابه
Low-Effort Specification Debugging and Analysis
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engineers need effective and efficient means of debugging these specifications. In this paper, we provide techniques for report-based specification debugging, wherein salient properties of a specification are analyzed, and ...
متن کاملLinking Specification, Abstraction, and Debugging
Designing and implementing a visual debugger for distributed programs is a significant challenge. Data about executing programs must be gathered and collated without unduly modifying the behaviour of the program under study. The data must be displayed in ways that are understandable to the user. One aspect of this problem is that human users are easily overwhelmed by huge amounts of detail, so ...
متن کاملHigh Performance Debugging Standards Effort
Throughout 1998, the High Performance Debugging Forum worked on defining a base level standard for high performance debuggers. The standard had to meet the sometimes conflicting constraints of being useful to users, realistically implementable by developers, and architecturally independent across multiple platforms. To meet criteria for timeliness, the standard had to be defined in one year and...
متن کاملSoftware Reliability Modeling with Testing-Effort Function and Imperfect Debugging
Considering testing effort and imperfect debugging in reliability modeling process may further improve the fitting and prediction results of software reliability growth models (SRGMs). For describing the S-shaped varying trend of the testing-effort increasing rate more accurately, this paper first proposes a inflected S-shaped testing effort function (IS-TEF). Then this new TEF is incorporated ...
متن کاملFocus Replay Debugging Effort on the Control Plane
Replay debugging systems enable the reproduction and debugging of non-deterministic failures in production application runs. However, no existing replay system is suitable for datacenter applications like Cassandra, Hadoop, and Hypertable. On these large scale, distributed, and data intensive programs, existing replay methods either incur excessive production recording overheads or are unable t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.157.12